implication logic

join shbcf.ru